Automated Formal Verification of Analog/RF Circuits in the Presence of Noise
نویسندگان
چکیده
We model and verify noise in analog/RF designs using an automated theorem prover. We model the designs using stochastic differential equations (SDE), due to the statistical nature of noise. We find a closed form solution for the SDEs based on stochastic calculus, and then verify properties using the MetiTarski theorem prover. Our approach is illustrated on an RL High-Pass Filter and a Sample-and-Hold Bottom-Plate Mixer circuit.
منابع مشابه
Modeling and Simulation of Substrate Noise in Mixed-Signal Circuits Applied to a Special VCO
The mixed-signal circuits with both analog and digital blocks on a single chip have wide applications in communication and RF circuits. Integrating these two blocks can cause serious problems especially in applications requiring fast digital circuits and high performance analog blocks. Fast switching in digital blocks generates a noise which can be introduced to analog circuits by the common su...
متن کاملUsing Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits
Today’s analog/RF design and verification face significant challenges due to circuit complexity, process variations and short market windows. In particular, the influence of technology parameters on circuits, and the issues related to noise modeling and verification still remain a priority for many applications. Noise could be due to unwanted interaction between the circuit elements or it could...
متن کاملAutomated Synthesis Tools for Analog & Rf Ic Software Definable Transceivers
In this work, the state-of-the-art RF synthesis tools for non-linear RF and analog integrated circuits are discussed. Several commercial tools are compared and presented. For RF and non-linear analog circuits, due to the nonlinearity of the circuit, design optimization is not a trivial task. This paper will give an overview of the synthesis tools for RF and Analog IC, with emphasis on trade-off...
متن کاملFormal Verification of Continuous Models of Analog Circuits
The goal of verifying an analog circuit is to make sure that the implementation of the circuit exhibits the desired behavior. Traditionally, analog circuits are analyzed using simulation techniques. However, simulation results cannot be termed as 100% accurate due to the approximations introduced by using computer arithmetics, such as floating or fixed point numbers, for constructing computer b...
متن کاملModeling of Substrate Noise Impact on a Single-Ended Cascode LNA in a Lightly Doped Substrate (RESEARCH NOTE)
Substrate noise generated by digital circuits on mixed-signal ICs can disturb the sensitiveanalog/RF circuits, such as Low Noise Amplifier (LNA), sharing the same substrate. This paperinvestigates the adverse impact of the substrate noise on a high frequency cascode LNA laid out on alightly doped substrate. By studying the major noise coupling mechanisms, a new and efficientmodeling method is p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009